(a, (s, s -> a))
